基于贝叶斯网络的我国海上能源通道海盗袭击风险分析与实验评估

鉴于能源进口安全保障的重要性及迫切性,针对海上能源通道海盗袭击事件的不确定性与突发性,基于风险理论、贝叶斯网络、蒙特卡洛模拟等方法,建立了海上能源通道海盗袭击风险的量化评估模型,探索了快速、量化评估突发性事件的技术途径,旨在为保障我国能源进口安全提供时效性强、精确度高的决策依据。     

基于Petri网的防空作战过程建模

赋时着色Petri网(TCPN)是在CPN基础发展起来的图形化描述工具,适用于带有时间特性系统的性能评价与仿真。将TCPN加以改进,增加测试弧,时间特性反映在变迁上,且允许时间与标记值可按复杂的函数变化,使Petri网可同时描述离散的状态和连续的变化,由此提出了适于防空作战过程建模的面向仿真的TCPN,并对其在一个小型的防空对抗作战过程的有关作战单元建模中的应用进行了探讨。     

“打击时敏目标”任务的Petri网建模方法

对武器装备体系而言,作为现代战争中的重要样式"打击时敏目标"任务可分为获取时间窗口和利用时间窗口打击目标两个阶段。首先分析了打击时敏目标任务的过程,然后提出使用广义随机Petri网(GSPN)描述时间窗口的获取过程的方法,引入了负位置和负令牌的概念,最后提出用改进的GSPN描述利用时间窗口打击目标的过程的方法,并建立了一个"打击时敏目标"任务的Petri网模型。     

随机 Petri 网的瓶颈及其最大处理能力

介绍了随机Ｐｅｔｒｉ网瓶颈的概念,给出了一般随机Ｐｅｔｒｉ网最大处理能力的数学模型,针对一类特殊结构的随机Ｐｅｔｒｉ网,导出了分析其最大处理能力和瓶颈的快速算法,最后给出了一个防空决策组织信息处理瓶颈与处理能力分析的实例。     

Petri网的活跃性和非死锁性的判定算法及证明

用Petri网分析系统的逻辑特性时很重要的是分析它的活跃性、非死锁性及安全性。在此提出两个算法—Petri网深度优先算法和活跃性判定算法,并加以证明。     

遥感数据处理任务调度的Petri网模型及求解算法

为了对多源遥感数据的处理任务进行有效的调度和管理,提高处理资源的利用率,根据遥感数据处理任务调度问题的特点,采用Petri网对该问题进行形式化描述,建立了遥感数据处理任务调度的数学模型,根据该问题的多目标特性,采用蚁群算法进行求解.给出仿真实例,将蚁群算法的求解结果与启发式算法和模拟退火算法的求解结果进行比较,验证算法...     

高炮旅(团)作战面向对象Petri网模型

概要分析了高炮旅(团)指挥控制与信息处理分发过程,对基本Petri进行扩展构建了面向对象Petri网模型,采用其分层次构建了高炮旅(团)作战OPN模型,较好地实现了对传统指控体制下高炮群作战与信息分发过程的静态与动态描述,为下一步具体仿真实现,找出现有传统指控体制存在的薄弱环节,进行相应改进提供了基础和依据。     

基于CPN建模的行动方案开发与分析系统设计

协助和支持军事计划人员制订和分析作战计划的建模与仿真能力是军方的现行需求,而行动方案的开发与分析则是作战计划建模与仿真的重点。针对作战计划过程期间开发的军事任务的排序与调度问题,设计了一个行动方案开发与分析系统,系统采用客户机-服务器体系结构,运用基于有色Petri网建模的军事计划领域的概念表示法,并使用状态空间分析技术完成军事任务的自动化排序与调度。军事计划人员通过图形用户界面使用系统,在面对紧急突发事件时,可以快速及时地开发出适当可行的COA,并对COA进行逻辑可行性分析。     

C3I系统仿真及仿真环境研究

首先讨论了C3I系统开发中存在的问题并提出解决这些问题的重要性,然后从C3I系统描述模型和仿真环境两个方面,介绍了国内外对于C3I系统仿真的研究现状和发展趋势.最后介绍了我们正在研制的基于对象Petri网的仿真演示环境的特点以及设计和实现方法.     

基于DM2的体系结构可执行模型构建方法

基于元模型的体系结构设计思想和基于可执行模型的评估方法是体系结构领域研究的两个热点,但当前的研究没有将两者结合起来。文章基于DoDAF2.0提出的元模型数据(Meta-Model Data,DM2),将元模型的思想和基于可执行模型的评估方法相结合,分析了基于DM2的逻辑数据与可执行模型各构建要素的对应关系,构建了基于DM2的逻辑数据模型直接转可执行模型的过程框架,重点研究了如何直接从体系结构底层数据转可执行模型的方法,从而为进行基于元模型的体系结构可执行评估提供模型基础,也为进一步实现体系结构自动化验证评估提供技术支持。实例验证了文章提出的方法。